منابع مشابه
Towards Style Transformation from Written-Style to Audio-Style
In this paper, we address the problem of optimizing the style of textual content to make it more suitable to being listened to by a user as opposed to being read. We study the differences between the written style and the audio style by consulting the linguistics and journalism literatures. Guided by this study, we suggest a number of linguistic features to distinguish between the two styles. W...
متن کاملRelating Church-Style and Curry-Style Subtyping
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural modification to the type syntax for Fω...
متن کاملStyle components
We propose a novel method for interactive editing of motion data based on motion decomposition. Our method employs Independent Component Analysis (ICA) to separate motion data into visually meaningful components called style components. The user then interactively identifies suitable style components and manipulates them based on a proposed set of operations. In particular, the user can transfe...
متن کاملProof Style
We are concerned with how to communicate a mathematical proof to a computer theorem prover. This can be done in many ways, while allowing the machine to generate a completely formal proof object. The most obvious choice is the amount of guidance required from the user, or from the machine perspective, the degree of automation provided. But another important consideration, which we consider part...
متن کاملStyle Investing
We study asset prices in an economy where some investors categorize risky assets into different styles and move funds among these styles depending on their relative performance. In our economy, assets in the same style comove too much, assets in different styles comove too little, and reclassifying an asset into a new style raises its correlation with that style. We also predict that style retu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychiatric Bulletin
سال: 1990
ISSN: 0955-6036,1472-1473
DOI: 10.1192/pb.14.7.444